void ex3_6_altnames();
